complemented lattice examples